Control flow based cost analysis for P4
نویسندگان
چکیده
منابع مشابه
A Novel Experimental Analysis of the Minimum Cost Flow Problem
In the GA approach the parameters that influence its performance include population size, crossover rate and mutation rate. Genetic algorithms are suitable for traversing large search spaces since they can do this relatively fast and because the mutation operator diverts the method away from local optima, which will tend to become more common as the search space increases in size. GA’s are base...
متن کاملObject-based Control/Data-flow Analysis
Not only does a clear distinction between control and data flow enhance the readability of models, but it also allows different tools to operate on the two distinct parts of the model. This paper shows how the modelling based on control/data-flow analysis can benefit from an object-based approach. We have developed a translation mechanism that is faithful and gives an extra dimension (hierarchy...
متن کاملA demand-driven solver for constraint-based control flow analysis
This thesis develops a demand driven solver for constraint based control flow analysis. Our approach is modular, flow-sensitive and scaling. It allows to efficiently construct the interprocedural control flow graph (ICFG) for object-oriented languages. The analysis is based on the formal semantics of a Java-like language. It is proven to be correct with respect to this semantics. The base algor...
متن کاملEquilibrium Analysis for Power Based Flow Control Algorithm
We study a power-based flow control algorithm for virtual circuit flow control in a decentralized network. This algorithm is based on a greedy heuristic. Each virtual circuit, (or player) iteratively optimizes its individual performance measure, power, by adjusting its message rate to achieve an ideal tradeoff point between high throughput and low delay. For our equilibrium analysis, we formula...
متن کاملControl Flow Analysis for BioAmbients
This paper presents a static analysis for investigating properties of biological systems specified in BioAmbients. We exploit the control flow analysis to decode the bindings of variables induced by communications and to build a relation of the ambients that can interact with each other. We eventually apply our analysis to an example of gene regulation by positive feedback taken from the litera...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Open Computer Science
سال: 2020
ISSN: 2299-1093
DOI: 10.1515/comp-2020-0131